\begin{tabbing}
only members of $L$ read $x$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=mk{-}ma(;\+
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex]$x$ : $L$)
\-
\end{tabbing}